au.\*:("GRINCHTEIN, Olga")
Results 1 to 7 of 7
Selection :
Learning Finite-State Machines from Inexperienced TeachersGRINCHTEIN, Olga; LEUCKER, Martin.Lecture notes in computer science. 2006, pp 344-345, issn 0302-9743, isbn 3-540-45264-8, 1Vol, 2 p.Conference Paper
Network invariants for real-time systemsGRINCHTEIN, Olga; LEUCKER, Martin.Formal aspects of computing. 2008, Vol 20, Num 6, pp 619-635, issn 0934-5043, 17 p.Article
Learning of event-recording automataGRINCHTEIN, Olga; JONSSON, Bengt; LEUCKER, Martin et al.Theoretical computer science. 2010, Vol 411, Num 47, pp 4029-4054, issn 0304-3975, 26 p.Article
Inference of event-recording automata using timed decision treesGRINCHTEIN, Olga; JONSSON, Bengt; PETTERSSON, Paul et al.Lecture notes in computer science. 2006, pp 435-449, issn 0302-9743, isbn 3-540-37376-4, 1Vol, 15 p.Conference Paper
Inferring network invariants automaticallyGRINCHTEIN, Olga; LEUCKER, Martin; PITERMAN, Nir et al.Lecture notes in computer science. 2006, pp 483-497, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper
Learning of event-recording automataGRINCHTEIN, Olga; JONSSON, Bengt; LEUCKER, Martin et al.Lecture notes in computer science. 2004, pp 379-395, issn 0302-9743, isbn 3-540-23167-6, 17 p.Conference Paper
On the correspondence between conformance testing and regular inferenceBERG, Therese; GRINCHTEIN, Olga; JONSSON, Bengt et al.Lecture notes in computer science. 2005, pp 175-189, issn 0302-9743, isbn 3-540-25420-X, 15 p.Conference Paper